Compiling scientific code using partial evaluation
نویسندگان
چکیده
منابع مشابه
Compiling HOL4 to Native Code
We present a framework for extracting and compiling proof tools and theories from a higher order logic theorem prover, so that the theorem prover can be used as a platform for supporting reasoning in other applications. The framework is demonstrated on a small application that uses HOL4 to find proofs of arbitrary first order logic formulas.
متن کاملCompiling for Runtime Code Generation
Cyclone is a programming language that provides explicit support for dynamic specialization based on runtime code generation. To generate specialized code quickly, our Cyclone compiler uses a template based strategy in which pre-compiled code fragments are stitched together at runtime. To achieve good performance, the pre-compiled fragments must be optimized. This paper describes a principled a...
متن کاملCompiling Away the Meta-Level in Object-Oriented Concurrent Re ective Languages Using Partial Evaluation
Meta-level programmability is bene cial for parallel/distributed object-oriented computing to improve performance, etc. The major problem, however, is interpretation overhead due to meta-circular interpretation. To solve this problem, we propose a compilation framework for object-oriented concurrent re ective languages using partial evaluation. Since traditional partial evaluators do not allow ...
متن کاملCompiling Business Process Models into Executable Code
Model-driven architecture (MDA), design and transformation techniques can be applied with success to the domain of business process modeling (BPM) with the goal of making the vision of business-driven development a reality. This chapter is centered on the idea of compiling business process models for executing them, and how this idea has been driving the design of the JOpera for Eclipse workflo...
متن کاملCorrectness of Compiling Occam to Transputer Code
This paper contributes to the development of a rigorous mathematical framework for the study of provably correct compilation techniques. The proposed method is developed through an implementation of a real{life non{toy imperative programming language with nondeterminism and parallelism { namely Occam { to a commercial machine, namely the Transputer. We provide a mathematical deenition of the Tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer
سال: 1990
ISSN: 0018-9162
DOI: 10.1109/2.62091